Low Overhead Concurrency Control for Partitioned Main Memory Databases Evan P. C. Jones Daniel J. Abadi

Source URL: event.cwi.nl

Appears in the Proceedings of the ACM SIGMOD International Conference on Management of Data, San Jose, CA, MayEfficient Optimistic Concurrency Control Using Loosely Synchronized Clocks Atul Adya

Source URL: nil.csail.mit.edu

DATABASE MANAGEMENT SYSTEMS SOLUTIONS MANUAL THIRD EDITION Raghu Ramakrishnan

Source URL: pages.cs.wisc.edu

• Computing
• Data management
• Data
• Software
• Database
• Isolation
• Data independence
• Concurrency control
• Extensible Storage Engine
• Distributed database
• Outline of databases

Staring into the Abyss: An Evaluation of Concurrency Control with One Thousand Cores Xiangyao Yu George Bezerra

Source URL: www.cs.cmu.edu

• Transaction processing
• Computing
• Data management
• Concurrency control
• Data
• Databases
• Database management systems
• Optimistic concurrency control
• Timestamp-based concurrency control
• Serializability
• Multiversion concurrency control
• Isolation

Exercise 11: Counting 1 The goal of this exercise is to understand the consistency properties of the bounded max register implementation from the lecture. a) Show that if one always writes to R< if i < M , regardless of

Source URL: resources.mpi-inf.mpg.de

• Concurrency control
• Computing
• Computer architecture
• Computer engineering
• Linearizability
• Safe semantics
• Processor register
• Shared register
• Atomic semantics

Administrivia  Design of Parallel and High-Performance Computing

Source URL: spcl.inf.ethz.ch

• Concurrent computing
• Computing
• Computer programming
• Concurrency control
• Parallel computing
• Consensus
• Thread
• Non-blocking algorithm
• Lock
• OpenMP
• Futures and promises
• Scheduling

Administrivia  Design of Parallel and High-Performance Computing

Source URL: spcl.inf.ethz.ch

• Concurrency control
• Computing
• Computer programming
• Software engineering
• Lock
• Readerswriter lock
• Non-blocking algorithm
• Mutual exclusion
• Spinlock
• Monitor
• Fetch-and-add
• File locking

Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha

Source URL: www.mpi-sws.org

• Computing
• Concurrency control
• Software
• Software transactional memory
• Non-blocking algorithm
• Lock
• Parallel computing
• Concurrency
• Concurrent data structure
• Separation logic
• Thread
• Concurrent computing

Reagents: Expressing and Composing Fine-grained Concurrency Aaron Turon Northeastern University

Source URL: www.mpi-sws.org

• Concurrency control
• Computing
• Transaction processing
• Data management
• Software
• Compare-and-swap
• Non-blocking algorithm
• Linearizability
• Software transactional memory
• Stack
• Reagent
• Atomicity

Hybrid Dynamic Data Race Detection Robert O’Callahan Jong-Deok Choi IBM T. J. Watson Research Center

Source URL: www.cs.columbia.edu

• Computing
• Computer programming
• Concurrency control
• Software engineering
• Software design patterns
• Concurrency
• Edsger W. Dijkstra
• Concurrent computing
• Synchronization
• Thread-local storage
• Java memory model
• Thread